Словарь по логике - связка
Связанные словари
Связка
в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами "есть", "суть", "является" и т. п., напр.: "Узбеки являются жителями Средней Азии". В обыденной речи С. часто опускается и приведенное выше предложение обычно выглядит так: "Узбеки живут в Средней Азии". Однако даже если С. не выражена каким-то специальным словом, она обязательно присутствуют в суждении. Напр., два понятия "город" и "населенный пункт" образуют суждение только после того, как их соединит С. "Город есть неселенный пункт". Поэтому схематическое представление простого суждения включает в себя три элемента субъект, предикат и связку: "5 есть Р". С. может быть утвердительной или отрицательной ("есть" или "не есть"). Именно этим определяется качество простого суждения.
В символической логике пропозициональными связками называют логические союзы (операторы), с помощью которых из простых высказываний получают сложные высказывания. К ним обычно относят отрицание, конъюнкцию, дизъюнкцию, импликацию и т. п. Условия истинности сложных высказываний, содержащих пропозициональные связки, формулируются посредством таблиц истинности. (См.: Суждение.)
Вопрос-ответ:
Самые популярные термины
1 | 1497 | |
2 | 1309 | |
3 | 1166 | |
4 | 1010 | |
5 | 767 | |
6 | 712 | |
7 | 686 | |
8 | 684 | |
9 | 656 | |
10 | 654 | |
11 | 614 | |
12 | 613 | |
13 | 573 | |
14 | 573 | |
15 | 562 | |
16 | 559 | |
17 | 555 | |
18 | 539 | |
19 | 537 | |
20 | 523 |